\begin{nusmvCommand} {reset} {Resets the whole system.}

\cmdLine{reset [-h]}

Resets the whole system, in order to read in another model and to
perform verification on it.

\end{nusmvCommand}
